This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
WeiterlesenThe book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
Weiterlesen